A Method of Functional Alignment Verification in Hierarchical Enterprise Models

Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical enterprise models, made of an assembly of system models, are effective. In these models, two hierarchies exist: an organizational level hierarchy (describing systems' construction) and a functional level hierarchy (describing systems' functionality). Using a uniform hierarchical modeling language, system models at different hierarchical levels can be aligned in the context of the enterprise model. Using an operational semantics, each system model can be translated into executable code for model simulation and testing. The possibility to simulate and test models leads to the alignment verification for all system models across both hierarchies. In this paper we propose a method and tool for functional alignment verification. We use the Abstract State Machine (ASM) and the ASM language (AsmL) to formalize our graphical models for simulation and testing. We illustrate this approach with an example

Refinement Propagation. Towards Automated Construction of Visual Specifications.

Creation and transformation of visual specifications is driven by modeler’s design decisions. After a design decision has been made, the modeler needs to adjust the specification to maintain its correctness. The number of adjustments might make the design process tedious for large specifications. We are interested in techniques that will reduce the modeler’s obligation to control specification correctness. Every single transformation of the visual specification can be captured by the notion of refinement used in formal methods. In this work we present the technique that supports a stepwise refinement of visual specifications based on calculations. We use refinement calculus as a logic for reasoning about refinement correctness. When a design decision is made by the modeler, the necessary adjustments are calculated based on rules of refinement propagation. Refinement propagation can automate the specification adjustment and enforce its correctness

Построение гибких систем цифрового взаимодействия участников транспортного процесса в условиях меняющейся внешней среды

The transport industry is currently undergoing profound changes. They are related both to overcoming the consequences of the pandemic, and – in the longer term – to the fundamental transformation due to the ongoing process of digitalisation.Services created for intelligent traffic flow management, monitoring of infrastructure facilities, rolling stock, customer relations, digital platforms will most probably remain drivers of the ongoing digital transformation of the transport industry in the near future. From the point of view of digital technologies, the main ones include artificial intelligence, blockchain, the Internet of things, big data.Considering the vastness of the topic, the paper highlights the key, from the point of view of the authors, issues of experience and tasks of creating systemic, end-to-end digital platform solutions in the Russian transport industry, as well as on the example of railway transport (including at the corporate level), classification of already implemented solutions and promising areas of digital change in the transport and logistics industry.В настоящий момент транспортная отрасль претерпевает глубокие изменения. Они связаны как с преодолением последствий пандемии, так и – в более долгосрочном плане – с фундаментальной трансформацией, обусловленной идущим процессом цифровизации.Сервисы, созданные для интеллектуального управления транспортным потоком, мониторинга объектов инфраструктуры, подвижного состава, работы с клиентами, цифровые платформы в ближайшее время с большой вероятностью останутся драйверами идущей цифровой трансформации транспортной отрасли. С точки зрения цифровых технологий к основным относятся искусственный интеллект, блокчейн, Интернет вещей, большие данные.Учитывая обширность темы, в материале выделены ключевые, с точки зрения авторов, вопросы опыта и задач создания системных, сквозных цифровых платформенных решений в транспортной отрасли России, а также на примере железнодорожного транспорта (в том числе, на корпоративном уровне), предложена классификация уже реализуемых и перспективных направлений цифровых изменений в транспортно-логистической отрасли

Effectiveness of resuming ustekinumab therapy in psoriasis patients with metabolic disorders. Clinical experience

Psoriasis is a chronic immune-mediated inflammatory skin disease with possible damage to the musculoskeletal system, affecting 2-3 % of the adult population of the planet. To date, special attention in the treatment of psoriasis is paid to the comorbid background, since it is known that it can aggravate the course of psoriasis and affect the effectiveness of therapy. The purpose of psoriasis therapy is to achieve clean or almost clean skin, sustainable improvement of psoriatic arthritis, improving the quality of life, all this became possible with the advent of genetically engineered biological drugs. However, in the treatment of genetically engineered biological drugs there are “pain points”: primary inefficiency, “the effect of slipping”, the scheme of transition from one drug to another, the safety of the combined use of GIBP and system-based drugs, interruption of therapy.Objective. To study the therapeutic efficacy of ustekinumab in psoriasis patients with forced interruption of treatment, taking into account metabolic disorders.Materials and methods. 52 patients with a diagnosis of plaque psoriasis receiving ustekinumab for 3 years were under observation, which were divided into 2 groups, depending on body weight and metabolic disorders.Results. More than 80 % of patients taking the drug at a dosage of 45 mg, and at a dosage of 90 mg, to week 12 therapy reached PASI 75. By week 24, the proportion of patients in group I who reached PASI 75 was 96.3 %, in group II — 88.0 %.By week 48 PASI 75 reached 90.4 % patients: in group I — 100 % patients, in group II — 80.0 % patients.At 76 weeks, patients were interrupted ustekinumab treatment in connection with the purchase of the drug. The duration of treatment interruption ranged 36 weeks. By week 112, 86.5 % patients in both groups had a relapse of psoriasis, which was assessed by the loss of the therapeutic response of PASI 75.By week 124 (12 weeks after the resumption of therapy) 82.7 % patients reached PASI 75: in group I — 92.6 % patients, in group II — 72.0 % patients.After 16 weeks (week 128), all patients 100 % achieved PASI 75 IN group I. In group II to week 128 PASI 75 was observed in 80 % patients.Conclusion. With the resumption of treatment of patients with psoriasis with ustekinumab after a long interruption, there is a rapid and complete restoration of therapeutic effectiveness, however, in patients with psoriasis with metabolic disorders, there is a decrease in efficiency after the resumption of therapy in comparison with patients without abdominal obesity, which can determine the further strategy and tactics of management of such patients

Correlation of the 48bp VNTR locus of DRN4 gene with overweight/obesity (literature review)

Obesity is one of the five global health risks; it is a worldwide problem. Mortality of obesity is 2.6 million per year. Recently, obesity is considered as a neurobehavioural disorder with defects appetite control. The central dopamine system regulates eating behavior. The cause of obesity is the diminished dopaminergic neurotransmission, which provokes an increase of food stimulus that leads to an increasing of the body mass index (BM1). 1n this case, the main candidate genes will be genes of dopamine type 2 receptors: dopamine receptor D2 (DRD2), D3 (DRD), D4 (DRD4). The article focuses on the DRD4 gene. The latest literature data about the relationship of various polymorphic variants of the DRD4 gene with eating disorders, overweight and obesity are analyzed. 1t has been clarified, that the 48bp VNTR is the main and most significant polymorphism. One part of the researches shows a positive correlation of the tandem repeat VNTR DRN4 gene with overweight, obesity, eating disorders, including the DRD4-S and DRD4-L alleles. The other part denies the correlation of the tandem repeat VNTR DRN4 gene with these indicators. Perhaps the contradictions are due to differences in research design, as well as ethnic, gender and age differences in cohorts, and due to the fact, that in vitro changes do not always correspond to changes in vivo

Obesity and functional bowel disorders: are they linked?

Obesity and functional bowel disease (FBD) are affecting a large number of people worldwide. They have psychosocial consequences and associated with considerable healthcare resource use. The purpose of this review was a comprehensive study of the relationship between obesity and FBD, as well as mechanisms to explain this relationship. An analysis of the literature provides strong evidence of a link between obesity and diarrhea, but there is currently insufficient data to speak confidently about the link between obesity and irritable bowel syndrome. Most studies suggest that adult obesity is not associated or negatively associated with constipation. The association of obesity with diarrhea is most convincingly explained through diet, eating behavior, changes in the metabolism of bile acids, accelerated colonic transit, altered intestinal microbiota and associated inflammation and increased intestinal permeability. Medicines taken by patients, as well as non-alcoholic fatty liver disease, can play their own role.Planning and conducting studies, including longitudinal ones, based on valid diagnostic criteria and taking into account the widest possible range of confounders, will allow a deeper study of the problem of comorbidity of obesity and FBD. This will help optimize the treatment of these diseases

Features of the Development of Coordination Abilities in Preschoolers with Visual Impairment

The development of coordination abilities in preschoolers with visual impairment is of great importance in the perception and mastering of the surrounding space, physical and mental development, enrichment of motor experience, socialization. The search for new approaches in the development of coordination abilities, the motor sphere of children with vision pathologies remains a very urgent task for adaptive physical education.Развитие координационных способностей у дошкольников с нарушением зрения имеет большое значение в восприятии и освоении окружающего пространства, физического и психического развития, обогащении двигательного опыта, социализации. Поиск новых подходов в развитии координационных способностей, моторной сферы детей, имеющих патологии зрения, остается весьма актуальной задачей для адаптивного физического воспитания

Lithologic-facies and paleogeographic features of Mid-Upper Jurassic oil-gas bearing sediments in Nurolsk depression (Western Siberia)

Bathonian-Callovian-Oxfordian sedimentation environment reconstruction in SE Nurolsk depression, Western Siberia has been described. Paleogeographic and litho-geochemical features of sediments, numerous plant remains and ichnofossils indicated the fact that this territory during the Naunaksk suite formation was the transition in-situ sedimentogenesis. Based on the integrated research data, the potential litho-facies were identified in the Mid-Upper sediments within Nurolsk depression, Western Siberia

Experience of the Design Department in Promotion of Historal and Cultural Heritage (Based on Theses and Course Works on Graphic and Interior Design)

Секция VI : Проблемы высшего архитектурного и строительного образованияВ статье рассматриваются курсовые и дипломные проекты, связанные с историко- культурным наследием Пскова.=The paper deals with students' course works and theses related to historical and cultural heritage of the city of Pskov, Russia

Emotional intelligence in schizophrenia

This article is devoted to investigation of emotional symptoms and social anhedonia in clinical context. The article describes the most important theories of emotion including modern concept of «emotional intelligence». Growing attention is paid to investigate the emotional experience in laboratory settings, and the study is continued this tradition. Schizophrenia subjects experienced more intense and more variable negative emotions than controls. Our findings suggest that patients with schizophrenia have social cognitive deficits, difficulties in perception of emotions and high level blocking of emotions. Finally, analyses of results suggested the possibility of a shift in the structure of emotional diseases in schizophrenia